3

Hidden verification for computational mathematics

Année:
2005
Langue:
english
Fichier:
PDF, 573 KB
english, 2005
4

Applications of real number theorem proving in PVS

Année:
2013
Langue:
english
Fichier:
PDF, 864 KB
english, 2013
8

Guided Growth

Année:
2017
Langue:
english
Fichier:
PDF, 1.40 MB
english, 2017